More thorough fix of bug #15913 with mouse-highlight on MS-Windows.
authorEli Zaretskii <eliz@gnu.org>
Fri, 29 Nov 2013 08:53:50 +0000 (10:53 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 29 Nov 2013 08:53:50 +0000 (10:53 +0200)
commitdd3ccf40d463fce50dfac8a84f225075dcc15b3f
tree2165b3b285083dade5b84d11c71659ff9692eccf
parenta42df7be2c13998dc937e9284b3f3a5a03d5d0c6
More thorough fix of bug #15913 with mouse-highlight on MS-Windows.

 src/xdisp.c (clear_mouse_face): Don't invalidate the entire
 mouse-highlight info, just signal frame_up_to_date_hook that mouse
 highlight needs to be redisplayed.
src/ChangeLog
src/xdisp.c